|
|
| |
Advanced techniques in computing sciences and software engineering /
Publication:
Dordrecht : Springer, 2010
. [xx], 599 p. :
27 cm.
Date:2010
Availability:
Copies available:
AUM Main Library
(3),
|
|
| |
Formal methods for industrial critical systems : , 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings /
Publication:
Berlin : Springer, 2010
. xii, 230 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Computer performance engineering : , 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, proceeding /
Publication:
Berlin : Springer, 2010
. x, 283 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Foundations of computer software : , future trends and techniques for development : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, revised selected papers /
Publication:
Berline : Springer, 2010
. viii, 274 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Engineering secure software and systems : , Second International Symposium, Essos 2010, Pisa, Italy, February 3-4, 2010, proceedings /
Publication:
Berlin : Springer, 2010
. x, 240 p. :
Date:2010
Availability:
Copies available:
AUM Main Library
(1),
|
|
| |
Generative programming and component engineering : , second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003 : proceedings /
Publication:
Berlin : Springer, 2003
. ix, 396 p. :
24 cm.
Date:2003
Availability:
Copies available:
AUM Main Library
(3),
|
|
